P in K as P extends ..